symbolic execution for software testing in practice pre published presentations and documents on DocSlides.